P. Wiedijk: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Proof-checking Euclid

Beeson, Michael, Narboux, Julien, Wiedijk, Freek

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 3.63 MB

english, 2019

2

Arrow's Impossibility Theorem

Journal:

Formalized Mathematics

Year:

2007

Language:

english

File:

PDF, 120 KB

english, 2007

3

Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics

Journal:

Journal of Applied Logic

Year:

2006

Language:

english

File:

PDF, 315 KB

english, 2006

4

Formalizing Arrow’s theorem

Journal:

Year:

2009

Language:

english

File:

PDF, 169 KB

english, 2009

5

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2646 || Java as a Functional Programming Language

Geuvers, Herman, Wiedijk, Freek

Year:

2003

Language:

english

File:

PDF, 217 KB

english, 2003

6

“Handbook of Practical Logic and Automated Reasoning,” by John R. Harrison, Cambridge University Press, 2009

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 130 KB

english, 2012

7

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 6898 || Point-Free, Set-Free Concrete Linear Algebra

van Eekelen, Marko, Geuvers, Herman, Schmaltz, Julien, Wiedijk, Freek

Year:

2011

Language:

english

File:

PDF, 248 KB

english, 2011

8

[Lecture Notes in Computer Science] The Seventeen Provers of the World Volume 3600 ||

Year:

2006

Language:

english

File:

PDF, 1.19 MB

english, 2006

9

A Probabilistic Analysis of the Game of the Goose

Groote, Jan Friso, Wiedijk, Freek, Zantema, Hans

Journal:

Year:

2016

Language:

english

File:

PDF, 15.08 MB

english, 2016

10

The oxidative coupling of 2,6-xylenol catalyzed by polymeric complexes of copper, 2. Physicochemical study on copper(II) complexes of partially dimethylamino-methylated polystyrene

Arend Jan Schouten, Dick Wiedijk, Jan Borkent, Ger Challa

Journal:

Macromolecular Chemistry and Physics

Year:

1977

Language:

english

File:

PDF, 361 KB

english, 1977

11

A Constructive Algebraic Hierarchy in Coq

Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg

Journal:

Journal of Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 276 KB

english, 2002

12

A Logical Framework with Explicit Conversions

Herman Geuvers, Freek Wiedijk

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 284 KB

english, 2008

13

Some metrical observations on the approximation by continued fractions

W. Bosma, H. Jager, F. Wiedijk

Journal:

Indagationes Mathematicae (Proceedings)

Year:

1983

Language:

english

File:

PDF, 865 KB

english, 1983

14

The meaning of infinity in calculus and computer algebra systems

Michael Beeson, Freek Wiedijk

Journal:

Journal of Symbolic Computation

Year:

2005

Language:

english

File:

PDF, 209 KB

english, 2005

15

Simultaneous microdetermination of water and oxygen in metal halides by reductive fusion in an inert gas

Journal:

Analytica Chimica Acta

Year:

1976

Language:

english

File:

PDF, 347 KB

english, 1976

16

Derivatives of cis-NPCl2(NSOCl)2 and (NPCl2)2NSOCl. Part XVI. The preparation of some aziridino (ethylene-imino) derivatives of (NPCl2)2NSOX (X = F, Az, Ph) with a potential anticancer activity

J.C Van De Grampel, A.A Van Der Huizen, A.P Jekel, D Wiedijk, J.-F Labarre, F Sournies

Journal:

Inorganica Chimica Acta

Year:

1981

Language:

english

File:

PDF, 182 KB

english, 1981

17

Dynamics of the plasma concentrations of TSH, FT4 and T3 following thyroxine supplementation in congenital hypothyroidism

Bert Bakker, Marlies J. E. Kempers, Jan J. M. De Vijlder, David A. Van Tijn, Brenda M. Wiedijk, Michael Van Bruggen, Thomas Vulsma

Journal:

Clinical Endocrinology

Year:

2002

Language:

english

File:

PDF, 259 KB

english, 2002

18

Thermodynamische Untersuchung zur Reaktion von Wolframdrähten mit O2 und CO2 bei Temperaturen zwischen 1500 und 3500°K

Prof. Dr. Harald Schäfer, R. J. Campbell, P. Wiedijk, L. Bexten

Journal:

Zeitschrift für anorganische und allgemeine Chemie

Year:

1970

Language:

german

File:

PDF, 870 KB

german, 1970

19

Experimentelle und thermodynamische Untersuchung zur Reaktion von Wolframdrähten mit H2O bei Temperaturen zwischen 1500 und 2800°K

Dipl.-Ing. F. H. R. Almer, P. Wiedijk

Journal:

Zeitschrift für anorganische und allgemeine Chemie

Year:

1971

File:

PDF, 383 KB

1971

20

Die oxidative Kopplung von 2,6-Xylenol mit polymeren Komplexen von Cu. 2. Mitt. Physikochemische Untersuchung an den Cu(II)-Komplexen mit partiell dimethylaminomethyliertem Polystyrol

A. I. Schouten, D. Wiedijk, J. Borkent, G. Challa

Journal:

Colloid & Polymer Science

Year:

1979

Language:

german

File:

PDF, 309 KB

german, 1979

21

Preface

Jacques Carette, Makarius Wenzel, Freek Wiedijk

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 119 KB

english, 2010

22

A Comparison of Mizar and Isar

Markus Wenzel, Freek Wiedijk

Journal:

Journal of Automated Reasoning

Year:

2002

Language:

english

File:

PDF, 137 KB

english, 2002

23

A New Implementation of Automath

Journal:

Journal of Automated Reasoning

Year:

2002

Language:

english

File:

PDF, 136 KB

english, 2002

24

[Lecture Notes in Computer Science] The Seventeen Provers of the World Volume 3600 || Ωmega

Year:

2006

Language:

english

File:

PDF, 163 KB

english, 2006

25

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 6898 || Mechanised Computability Theory

Eekelen, Marko, Geuvers, Herman, Schmaltz, Julien, Wiedijk, Freek

Year:

2011

Language:

english

File:

PDF, 272 KB

english, 2011

26

The challenge of computer mathematics

Barendregt, Henk, Wiedijk, Freek

Journal:

Philosophical Transactions Mathematical Physical & Engineering Sciences

Year:

2005

Language:

english

File:

PDF, 378 KB

english, 2005

27

Predictors of foetal and neonatal mortality in Curaçao, Netherlands Antilles. A multivariate analysis

H.I.J. Wildschut, V. Wiedijk, J. Oosting, W. Voorn, J. Huber, P.E. Treffers

Journal:

Social Science & Medicine

Year:

1989

Language:

english

File:

PDF, 686 KB

english, 1989

28

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2646 || General Recursion in Type Theory

Geuvers, Herman, Wiedijk, Freek

Year:

2003

Language:

english

File:

PDF, 231 KB

english, 2003

29

Neonatal Screening for Congenital Hypothyroidism in The Netherlands: Cognitive and Motor Outcome at 10 Years of Age

Kempers, Marlies J. E., van der Sluijs Veer, Liesbeth, Nijhuis-van der Sanden, Ria W. G., Lanting, Caren I., Kooistra, Libbe, Wiedijk, Brenda M., Last, Bob F., de Vijlder, Jan J. M., Grootenhuis, Mart

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2007

Language:

english

File:

PDF, 90 KB

english, 2007

30

[Lecture Notes in Computer Science] The Seventeen Provers of the World Volume 3600 || Coq

Year:

2006

Language:

english

File:

PDF, 92 KB

english, 2006

31

Birth asphyxia and obstetric care in Curaçao Netherlands Antilles

H.I.J. Wildschut, V. Wiedijk, M. Tutein Nolthenius-Puylaert

Journal:

International Journal of Gynecology & Obstetrics

Year:

1990

Language:

english

File:

PDF, 559 KB

english, 1990

32

Pollack-inconsistency

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 232 KB

english, 2012

33

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2646 || Weak Transitivity in Coercive Subtyping

Geuvers, Herman, Wiedijk, Freek

Year:

2003

Language:

english

File:

PDF, 265 KB

english, 2003

34

The Effect of Life-long Thyroxine Treatment and Physical Activity on Bone Mineral Density in Young Adult Women with Congenital Hypothyroidism

Kempers, M.J.E., Vulsma, Τ., Wiedijk, Β.Μ., de Vijlder, J.J.Μ., van Eck-Smit, B.L.F., Verberne, H.J.

Journal:

Journal of Pediatric Endocrinology and Metabolism

Year:

2006

Language:

english

File:

PDF, 1.50 MB

english, 2006

35

UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY

BERGSTRA, J.A., MAUW, S., WIEDIJK, F.

Journal:

International Journal of Foundations of Computer Science

Year:

1991

Language:

english

File:

PDF, 831 KB

english, 1991

36

Plasma thyrotropin bioactivity in Down's syndrome children with subclinical hypothyroidism

Konings, C., van Trotsenburg, A., Ris-Stalpers, C, Vulsma, T, Wiedijk, B., de Vijlder, J.

Journal:

European Journal of Endocrinology

Year:

2001

Language:

english

File:

PDF, 170 KB

english, 2001

37

Constructive analysis, types and exact real numbers

GEUVERS, HERMAN, NIQUI, MILAD, SPITTERS, BAS, WIEDIJK, FREEK

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 436 KB

english, 2007

38

Preface to the special issue: Constructive analysis, types and exact real numbers

SPITTERS, BAS, GEUVERS, HERMAN, NIQUI, MILAD, WIEDIJK, FREEK

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 189 KB

english, 2007

39

Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science

Théry, Laurent, Wiedijk, Freek

Journal:

Mathematics in Computer Science

Year:

2015

Language:

english

File:

PDF, 135 KB

english, 2015

40

Central Congenital Hypothyroidism due to Gestational Hyperthyroidism: Detection Where Prevention Failed

Kempers, Marlies J. E., van Tijn, David A., van Trotsenburg, A. S. Paul, de Vijlder, Jan J. M., Wiedijk, Brenda M., Vulsma, Thomas

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2003

Language:

english

File:

PDF, 242 KB

english, 2003

41

Intellectual and Motor Development of Young Adults with Congenital Hypothyroidism Diagnosed by Neonatal Screening

Kempers, M. J. E., van der Sluijs Veer, L., Nijhuis-van der Sanden, M. W. G., Kooistra, L., Wiedijk, B. M., Faber, I., Last, B. F., de Vijlder, J. J. M., Grootenhuis, M. A., Vulsma, T.

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2006

Language:

english

File:

PDF, 110 KB

english, 2006

42

Disturbance of the Fetal Thyroid Hormone State Has Long-Term Consequences for Treatment of Thyroidal and Central Congenital Hypothyroidism

Kempers, M. J. E., van Trotsenburg, A. S. P., van Tijn, D. A., Bakker, E., Wiedijk, B. M., Endert, E., de Vijlder, J. J. M., Vulsma, T.

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2005

Language:

english

File:

PDF, 641 KB

english, 2005

43

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 5144 || Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar

Autexier, Serge, Campbell, John, Rubio, Julio, Sorge, Volker, Suzuki, Masakazu, Wiedijk, Freek

Year:

2008

Language:

english

File:

PDF, 463 KB

english, 2008

44

[ACM Press the Eighth ACM SIGPLAN international workshop - Boston, Massachusetts, USA (2013.09.23-2013.09.23)] Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice - LFMTP '13 - Explicit convertibility proofs in pure type systems

van Doorn, Floris, Geuvers, Herman, Wiedijk, Freek

Year:

2013

Language:

english

File:

PDF, 687 KB

english, 2013

45

Two Decades of Screening for Congenital Hypothyroidism in the Netherlands: TPO Gene Mutations in Total Iodide Organification Defects (an Update)

Bakker, Bert, Bikker, Hennie, Vulsma, Thomas, de Randamie, Janine S. E., Wiedijk, Brenda M., de Vijlder, Jan J. M.

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2000

Language:

english

File:

PDF, 138 KB

english, 2000

46

[ACM Press the 2015 Conference - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Conference on Certified Programs and Proofs - CPP '15 - A Typed C11 Semantics for Interactive Theorem Proving

Krebbers, Robbert, Wiedijk, Freek

Year:

2015

Language:

english

File:

PDF, 658 KB

english, 2015

47

Flat-based water vapour sensor of the phosphorus pentoxide type

Journal:

Journal of Physics E Scientific Instruments

Year:

1980

Language:

english

File:

PDF, 213 KB

english, 1980

48

Neonatal Screening for Congenital Hypothyroidism Based on Thyroxine, Thyrotropin, and Thyroxine-Binding Globulin Measurement: Potentials and Pitfalls

Kempers, M. J. E., Lanting, C. I., van Heijst, A. F. J., van Trotsenburg, A. S. P., Wiedijk, B. M., de Vijlder, J. J. M., Vulsma, T.

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2006

Language:

english

File:

PDF, 146 KB

english, 2006

49

Fetal Environment Is a Major Determinant of the Neonatal Blood Thyroxine Level: Results of a Large Dutch Twin Study

Zwaveling-Soonawala, Nitash, van Beijsterveldt, Catharina E. M., Mesfum, Ertirea T., Wiedijk, Brenda, Oomen, Petra, Finken, Martijn J. J., Boomsma, Dorret I., Paul van Trotsenburg, A. S.

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2015

Language:

english

File:

PDF, 143 KB

english, 2015

50

Kergoat Jacques. Marceau Pivert, “socialiste de gauche”. [La Part des Hommes.] Les Editions de l'telier/Les Editions Ouvrières, Paris 1994. 348 pp. Ill. F.fr. 130.00.

Journal:

International Review of Social History

Year:

1995

Language:

english

File:

PDF, 349 KB

english, 1995

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски